Doom Emacs 对编程语言的点评
~/.doom.d/init.el 是 Doom Emacs 的功能配置文件,包含大量功能模块,通过注释进行开关。
其中有一个 :lang 小节,用户开启对某个编程语言的支持。
好玩的是,Doom Emacs 对每个语言都写了一句毒舌点评。我将它们记录翻译下来:
有的双关语我可能没有 Get 到,或者翻译的不够妙的,供大家指正!
语言 | 点评 | 备注 |
---|---|---|
agda | types of types of types of types...
类型的类型的类型的类型... |
|
beancount | mind the GAAP
牢记 GAAP |
Double-Entry Accounting from Text Files.
GAAP (generally accepted accounting principles) |
(cc +lsp) | C > C++ == 1 | |
clojure | java with a lisp
带 Lisp 的 Java |
|
common-lisp | if you've seen one lisp, you've seen them all
如果你见过一种 Lisp,你就见过所有的 Lisp 了 |
|
coq | proofs-as-programs
证明即程序 |
|
crystal | ruby at the speed of c
以C语言的速度运行的Ruby |
|
csharp | unity, .NET, and mono shenanigans
unity、.NET 和 mono 的诡计 |
|
data | config/data formats | |
(dart +flutter) | paint ui and not much else
绘制 UI,其他的就不多说了 |
|
dhall | ||
elixir | erlang done right
做的好的 Erlang |
|
elm | care for a cup of TEA?
想喝杯茶(TEA)吗? |
|
emacs-lisp | drown in parentheses
淹没在括号里 |
|
erlang | an elegant language for a more civilized age
文明时代的优雅语言 |
|
ess | emacs speaks statistics
懂统计学的 Emacs |
用于支持 R, S-Plus, SAS 等语言 |
factor | ||
faust | dsp, but you get to keep your soul
dsp,但你可以保留你的灵魂 |
Functional Programming Language for Real Time Signal Processing |
fortran | in FORTRAN, GOD is REAL (unless declared INTEGER)
在 FORTRAN 中,GOD 是存在的(REAL)(除非声明为 INTEGER)。 |
|
fsharp | ML stands for Microsoft's Language
ML 是微软语言的缩写 |
|
fstar | (dependent) types and (monadic) effects and Z3
(从属)类型和(单子化效用)效应和 Z3 |
A Proof-oriented Programming Language
主要用于程序的形式化验证 |
gdscript | the language you waited for
你所期待的语言 |
godotengine 的脚本语言 |
(go +lsp) | the hipster dialect
潮人方言 |
|
(graphql +lsp) | Give queries a REST
给查询一个REST |
|
(haskell +lsp) | a language that's lazier than I am
一种比我还懒的语言 |
|
hy | readability of scheme w/ speed of python
Scheme 的可读性,Python 的速度 |
|
idris | a language you can depend on
一种你可以依赖的语言 |
|
json | At least it ain't XML
至少它不是 XML |
|
(java +lsp) | the poster child for carpal tunnel syndrome
写到手抽筋的典型代表 |
|
javascript | all(hope(abandon(ye(who(enter(here))))))
万(劫(不(复))) |
|
julia | a better, faster MATLAB
一个更好、更快的 MATLAB |
|
kotlin | a better, slicker Java(Script)
一个更好、更流畅的 Java(Script)。 |
|
latex | writing papers in Emacs has never been so fun
用 Emacs 写论文从未如此有趣过 |
|
lean | for folks with too much to prove
为需要证明的人而设 |
Lean is a theorem prover and programming language. |
ledger | be audit you can be
审时度势 |
Ledger is a powerful, double-entry accounting system |
lua | one-based indices? one-based indices
单一的指数? 单一的指数 |
|
markdown | writing docs for people to ignore
用于编写供人忽略的文档 |
|
nim | python + lisp at the speed of c
以 C 语言的速度运行的 Python+Lisp |
|
nix | I hereby declare "nix geht mehr!"
我在此宣布:"nix geht mehr!" |
|
ocaml | an objective camel
一只客观的骆驼 |
|
org | organize your plain life in plain text
用普通的文本整理你的平淡生活 |
|
php | perl's insecure younger brother
Perl 的不安全的弟弟 |
|
plantuml | diagrams for confusing people more
让人更困惑的图表 |
|
purescript | javascript, but functional
函数式的 JavaScript |
|
python | beautiful is better than ugly
美好的事物胜过丑陋 |
|
qt | the 'cutest' gui framework ever
有史以来 "最可爱 "的 UI 框架 |
|
racket | a DSL for DSLs
一个为 DSL 服务的 DSL |
|
raku | the artist formerly known as perl6
原名为 perl6 的艺术家 |
|
rest | Emacs as a REST client | |
rst | ReST in peace
R.I.P |
|
(ruby +rails) | ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"} | |
rust | Fe2O3.unwrap().unwrap().unwrap().unwrap() | |
scala | java, but good
挺好的 Java |
|
(scheme +guile) | a fully conniving family of lisps
一个完全纵容的 Lisp 家族 |
|
sh | she sells {ba,z,fi}sh shells on the C xor | |
sml | ||
solidity | do you need a blockchain? No. | |
swift | who asked for emoji variables?
是谁说 emoji 变量的? |
|
terra | Earth and Moon in alignment for performance. | |
web | the tubes | |
yaml | JSON, but readable | |
zig | C, but simpler |